%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Time-stamp: "2001-04-26 16:08:23 calvanes"
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\wrt}{w.r.t.}
\newcommand{\limp}{\ra}
\newcommand{\conc}{\mathord{\cdot}}

%%old
\newcommand{\poss}{\mathit{poss}}
\newcommand{\cert}{\mathit{cert}}
\newcommand{\coh}{\mathit{coh}}
\newcommand{\ext}{\mathit{ext}}
\newcommand{\dfn}{\mathit{def}}
%\newcommand{\ans}{\mathit{ans}}
\newcommand{\as}{\mathit{as}}
\newcommand{\CDA}{\ensuremath{\mathrm{CDA}}}
\newcommand{\ODA}{\ensuremath{\mathrm{ODA}}}
\newcommand{\SVA}{\ensuremath{\mathrm{SVA}}}
\newcommand{\CVA}{\ensuremath{\mathrm{CVA}}}
\newcommand{\EVA}{\ensuremath{\mathrm{EVA}}}

%%new
%\newcommand{\sem}{\mathit{sem}}
%\newcommand{\ret}{\mathit{ret}}
\newcommand{\retgav}{\mathit{ret}_G}
\newcommand{\retlav}{\mathit{ret}_L}
\newcommand{\retlavk}{\mathit{ret}_{\mathit{LK}}}
\newcommand{\ins}[1]{\mathbf{#1}}
\newcommand{\insA}{\mathbf{A}}
\newcommand{\insB}{\mathbf{B}}
\newcommand{\insK}{\mathbf{K}}

\newcommand{\Plg}{P_\G}
\newcommand{\Pls}{P_\S}
\newcommand{\pnot}{{\it not}\:}
%\newcommand{\datalog}{{\rm DATALOG}}
\newcommand{\datalogn}{{\rm DATALOG}$^\neg$}

\newcommand{\ISA}{\sqsubseteq}
\newcommand{\EQU}{\equiv}
\newcommand{\IMP}{\mathop{\Ra}}
\newcommand{\DIFF}{\setminus}
\newcommand{\COMP}[2]{\$#1\mathop{:}#2}
\newcommand{\QATLEAST}[3]{(\geq #1\,#2 \per\, #3)}
\newcommand{\QATMOST}[3]{(\leq #1\,#2 \per\, #3)}
\newcommand{\ID}{\mathit{id}}

\newcommand{\SOMER}[2]{\exists[\$#1]#2}
\newcommand{\ATMOSTR}[3]{(\leq #1\, [\$#2]#3)}
\newcommand{\PROJ}[3]{#1|_{#2,#3}}

\newcommand{\head}{\mathit{head}}
\newcommand{\body}{\mathit{body}}
%\newcommand{\body}{\mathit{conj}}
%\newcommand{\rel}[1]{\textsf{#1}}
\newcommand{\rel}[1]{\mathit{#1}}


%%\newcommand{\id}{\mathit{id}}
\newcommand{\bodyl}[1][j]{\body_{#1}(\vett{a},\vett{b}_{#1},\vett{c}_{#1})}
\newcommand{\bodyr}[1][j]{\lnot\exists\vett{z}_{#1}\per
                          \body'_{#1}(\vett{a},\vett{z}_{#1},\vett{c}_{#1})}

\newcommand{\arity}[1]{\mathit{arity}(#1)}
\newcommand{\vett}[1]{\vec{\mathbf{#1}}}

\newcommand{\rR}{R}
\newcommand{\pP}{P}
\renewcommand{\u}{\mathbf{u}}

\newcommand{\CIQ}{{\cal CIQ}}
\newcommand{\DLR}{\cal DLR}
\newcommand{\CL}{\mathit{CL}}
\newcommand{\AL}{\mathcal{AL}}
\newcommand{\ALN}{\mathcal{ALN}}

\newcommand{\Ext}{\mathit{Ext}}

\newcommand{\attr}[1]{\mathit{#1}}
\newcommand{\battr}[1]{\mathit{\underline{#1}}}
\newcommand{\const}[1]{\textit{#1}}
\newcommand{\ev}[1]{\mathbf{#1}}


\newcommand{\datalog}{\textsf{Datalog}}

\newcommand{\fd}{{\rm FD}}
\newcommand{\fdc}{\fd^*}
\newcommand{\FK}{{\rm FK}}
\newcommand{\ind}{{\rm IND}}
%\newcommand{\key}{{\rm K}}
\newcommand{\Ss}{{\cal S}}
\newcommand{\intsys}{\langle\T,\A\rangle}

\newcommand{\ls}{\textit{ls}}
\newcommand{\lx}{\textit{le}}
\newcommand{\mc}{\textit{mc}}
%\newcommand{\rdb}{\textit{RDB}}
%\newcommand{\db}{\textit{DB}}
\newcommand{\true}{\textit{true}}
\newcommand{\false}{\textit{false}}
\newcommand{\pidue}{\Pi_2^p}
\newcommand{\keyr}{\textit{Key}_r}
\newcommand{\kr}{\textit{K}_r}
\newcommand{\expa}{\textit{exp}}
\newcommand{\vv}{\vec{v}}
\newcommand{\vr}{\textit{V}_r}

\newcommand{\Mapg}[2]{#1\,\leadsto\,#2}
\newcommand{\better}[1]{\gg_{#1}}
\newcommand{\betterM}[1]{\gg_{#1}}
\newcommand{\schemag}{\Psi}
\newcommand{\indg}{\vincI}
\newcommand{\fdg}{\vincK}
\newcommand{\glob}{\langle \schemag,\indg,\fdg \rangle}
\newcommand{\globi}{\langle \schemag,\indg,\emptyset \rangle}
\newcommand{\globii}{\langle \schemag,\emptyset,\fdg \rangle}
\newcommand{\globiii}{\langle \schemag,\emptyset,\emptyset \rangle}

%% nuovi
\newcommand{\sem}{\mathit{sem}}
%%\newcommand{\seml}{\mathit{sem}_{l}}
\newcommand{\semlG}{\mathit{sem}_{l,\G}}
\newcommand{\semlS}{\mathit{sem}_{l,\S}}

\newcommand{\anslG}{\mathit{\ans}_{l\,\G}}
\newcommand{\anslS}{\mathit{\ans}_{l\,\S}}

\newcommand{\vincFK}{\Sigma_{FK}}
\newcommand{\vincI}{\Sigma_I}
\newcommand{\vincK}{\Sigma_K}

%% nuovi (Andrea)
\newcommand{\ifdirection}{``$\Leftarrow$''}
\newcommand{\onlyifdirection}{``$\Rightarrow$''}
\newcommand{\chase}{\mathit{chase}}
\newcommand{\unfold}{\mathit{unfold}}
\newcommand{\mapp}{\rho}
%%
\newcommand{\globI}{\tup{\schemag,\Sigma_I}}
\newcommand{\globIp}{\tup{\schemag',\Sigma_I'}}
\newcommand{\newid}{\Sigma_\mathit{new}}


%% nuovi (Riccardo)
\newcommand{\allrewritings}{\textsf{All-rewritings}}
\newcommand{\rewritings}{\textsf{Rewritings}}
\newcommand{\simplify}{\textit{simplified}}
\newcommand{\renamevar}{\textit{renameVar}}
\newcommand{\rewr}{\textit{gr}}
\newcommand{\qaux}{Q_{aux}}
\newcommand{\qr}{Q_{r}}

%% nuovi (Mimmo)

\newcommand{\key}{\mathit{key}}
\newcommand{\Key}{\key}
\newcommand{\gryz}{\mathit{gryz}}

\newcommand{\val}{\mathit{val}}


%%ultimi
\newcommand{\ansl}{\mathit{\ans}_{l}}
\newcommand{\Pl}{\mathbf{P}}
\newcommand{\seml}{\mathit{sem}_{l}}

\newcommand{\gs}{\schemag}
\newcommand{\conj}{\textit{conj}}
\newcommand{\gr}{\textit{gr}}
\newcommand{\trasf}{\tau}
\newcommand{\qin}{Q_{in}}
\newcommand{\ndv}{\xi}
\newcommand{\bd}{M_\A}
\newcommand{\ass}{\leftarrow}
%\newcommand{\ass}{:=}
\newcommand{\idrewr}{\mathsf{IDrewrite}}
%\newcommand{\rewrgoal}{\textsf{rewrite-goals}}
%\newcommand{\elimgoal}{\textsf{eliminate-goals}}
%\newcommand{\subst}{\textit{unifyVars}}
\newcommand{\bounded}{bound}
\newcommand{\unbounded}{unbound}

\newcommand{\Pid}{\Pi_{\mathrm{ID}}}
\newcommand{\Pim}{\Pi_{\M}}

\newcommand{\insX}[0]{\mathbf{X}}
\newcommand{\insY}[0]{\mathbf{Y}}

\newcommand{\olt}{\ol{t}}
\newcommand{\sost}{\U}
\newcommand{\im}{G}

%\newcommand{\gid}{\langle \schemag,\indg \rangle}
\newcommand{\gidn}{\schemag,\indg}

%% Ultime da ER-02
%\newcommand{\gav}[2][\S]{\rho_{#1}(#2)}
%\newcommand{\lav}[2][\G]{\rho_{#1}(#2)}
%\renewcommand{\dom}[1][]{\Delta^{#1}}
%\newcommand{\Map}[2]{#1\,\subseteq\,#2}
\newcommand{\expand}[1]{\mathsf{expand}\_{#1}}
\newcommand{\image}[1]{\mathsf{image}\_{#1}}

\newcommand{\mgs}{\sigma_{g,I}}
\newcommand{\atomrewr}{\textsf{atom-rewrite}}
\newcommand{\conrewr}{\textsf{reduce}}

\newcommand{\idrewrite}{\textit{Query Reformulator}}
\newcommand{\lavtogav}{\textit{LAV-GAV Compiler}}
\newcommand{\analyzer}{\textit{System Analyzer}}
\newcommand{\idclosure}{\textit{ID Expander}}
\newcommand{\unfolder}{\textit{Query Unfolder}}
\newcommand{\optimizer}{\textit{Query Optimizer}}
%\newcommand{\consHandler}{\textit{Consistency Handler}}

%%ultime da Ric

\newcommand{\olx}{\ol{X}}

\newcommand{\Pilot}{\textit{Pilot}}
\newcommand{\Name}{\textit{Name}}
\newcommand{\Code}{\textit{Code}}
\newcommand{\Airline}{\textit{Airline}}
\newcommand{\Aircraft}{\textit{Aircraft}}
\newcommand{\Mike}{\textit{Mike}}

%% DL-lite

\newcommand{\quonto}{\textsc{QuOnto}\xspace}
\newcommand{\dllite}{\textit{DL-Lite}\xspace}
\newcommand{\dlliter}{\textit{DL-Lite}_{R}\xspace}
\newcommand{\dllitef}{\textit{DL-Lite}_{F}\xspace}
\newcommand{\dllitefr}{\textit{DLR-Lite}_{F\R}\xspace}
\newcommand{\dllitea}{\textit{DL-Lite}_{A}\xspace}
\newcommand{\dllitefrc}{{{\textit{DL-Lite}}_{FRS}}\xspace}
\newcommand{\dllitefrcmin}{{{\textit{DL-Lite}}_{FR}}\xspace}
\newcommand{\dlrliter}{{\textit{DLR-Lite}_{\R}}\xspace}
\newcommand{\dllitefs}{{{\textit{DL-Lite}}_{FS}}\xspace}


\newcommand{\LOGSPACE}{\textsc{LogSpace}\xspace}
\newcommand{\NLOGSPACE}{\textsc{NLogSpace}\xspace}
\newcommand{\PTIME}{\textsc{PTime}\xspace}
\newcommand{\EXPTIME}{\textsc{ExpTime}\xspace}
\newcommand{\NP}{\textrm{NP}\xspace}
\newcommand{\PP}{\textrm{P}\xspace}
\newcommand{\NPcomp}{\textrm{NP-Complete}\xspace}
\newcommand{\NPhard}{\textrm{NP-Hard}\xspace}
\newcommand{\coNP}{\textrm{coNP}\xspace}

\newcommand{\ALE}{\mathcal{ALE}}
\newcommand{\ALU}{\mathcal{ALU}}
\newcommand{\FLE}{\mathcal{FLE}}
\newcommand{\EL}{\mathcal{EL}}
\newcommand{\SHIQ}{\mathcal{SHIQ}}

\newcommand{\funct}[1]{(\mathsf{funct}\; #1)}
\newcommand{\functir}[2]{(\mathsf{funct}\; #1{:}#2)}

\newcommand{\range}[2]{(\mathsf{range}\; #1~#2)}

\newcommand{\se}{\leftarrow}
\newcommand{\Ans}{\mathit{ans}}

\newcommand{\ans}[2]{\mathit{ans}(#1,#2)}

\newcommand{\tab}{\mathit{tab}}

\newcommand{\aux}{\mathit{aux}}

\newcommand{\SOMEIR}[2]{\exists #1{:}#2}
\newcommand{\IR}[2]{#1{:}#2}
\newcommand{\DOMAIN}[1]{\delta(#1)}
\newcommand{\RANGE}[1]{\rho(#1)}
\newcommand{\DOMAINSEL}[2]{\delta_{#1}(#2)}
\newcommand{\topc}{\top_C}
\newcommand{\topd}{\top_D}

\newcommand{\GammaVT}{\Gamma_{\mathit{VT}}}

\newcommand{\Map}[3]{ (#1,#2,#3)}

%% Examples


%\newcommand{\person}{\textit{person}}
%\newcommand{\cob}{\textit{CITY-OF-BIRTH}}
%\newcommand{\age}{\mathbf{age}}
%\newcommand{\cname}{\mathbf{cityName}}
%\newcommand{\roma}{\mathsf{Roma}}

%\newcommand{\sourcea}{\textit{S1}}
%\newcommand{\sourceb}{\textit{S2}}
%\newcommand{\sourcec}{\textit{S3}}


%%%%%%%%%%%%%%%%%%%%%%%%%% Interpretation

\newcommand{\inter}[1][I]{(\dom[#1],\Int[#1]{\cdot})}   % (dom^I,.^I)

\newcommand{\dom}[1][\I]{\Delta^{#1}}  % delta^\I (domain of interpretation \I)
\newcommand{\domO}[1][\I]{{\Delta_O}^{#1}}  % delta_O^\I (domain of interpretation ids)
\newcommand{\domV}[1][\I]{{\Delta_V}^{#1}}  % delta_V^\I (domain of interpretation values)
\newcommand{\fint}[1][\I]{\Int[#1]{\cdot}}
\newcommand{\Int}[2][\I]{#2^{#1}}      % #2^I    (interpretation function)
%\newcommand{\IntO}[2][I]{#2^{#1,\assignO}}      % #2^\I    (interpretation function)
\newcommand{\INT}[2][\I]{(#2)^{#1}}    % (#2)^\I  (interpretation function)
\newcommand{\IntDB}[2][\DB]{#2^{#1}}      % #2^DB    (interpretation function)

%% ANTONELLA
\newcommand{\intsysdl}{\langle\G,\C,\S,\M\rangle}
\newcommand{\IS}{\Pi}
\newcommand{\perfectref}{\textsf{PerfectRef}}
\newcommand{\assign}[1][]{\mu^{#1}}
\newcommand{\assigni}[3]{{#1}[{#2}/{#3}]}
\newcommand{\clni}[1][i]{\mathit{cln}_{#1}(\T)}
\newcommand{\NSFR}{NSFR}
\newcommand{\NI}{NI\xspace}
\newcommand{\PI}{PI\xspace}
\newcommand{\unb}{\texttt{\_}\,}
\newcommand{\crule}[1]{\textbf{cr{#1}}}
\newcommand{\dbi}[2]{\mathit{db}(#1,#2)}
\newcommand{\basic}{\textsf{KBBasicRef}}
\newcommand{\unifiedKB}{\textsf{KBUnifiedRef\xspace}}
\newcommand{\oid}{\textbf{oid}}
\newcommand{\violni}{\textsf{ViolateNI}}
\newcommand{\violf}{\textsf{ViolateFunct}}
\newcommand{\assignO}{{\mu_{\bf 0}}}
\newcommand{\assignOi}[2][\assignO]{{#2}[{#1}]}
\newcommand{\Identity}{\mathit{Id}}
\newcommand{\dlliteam}{\textit{DL-Lite}_{A,M}\xspace}
\newcommand{\model}[1][M]{\inter[{#1}]}
\newcommand{\relation}[1]{\mathsf{{#1}}\xspace}
\newcommand{\rewrite}{\mathsf{RewDB}\xspace}
\newcommand{\modelsat}{\mathsf{ModelSat}\xspace}
\newcommand{\modelreach}{\mathsf{ModelReach}\xspace}
\newcommand{\clean}{\mathsf{Clean}\xspace}
\newcommand{\prdb}{\mathit{PR^{DB}}}
\newcommand{\conv}{\textsf{Conv}}
\newcommand{\GammaO}{\Gamma_O}
\newcommand{\GammaV}{\Gamma_V}
\newcommand{\modO}{I_{\bf 0}}
\newcommand{\VO}{\V_O}
\newcommand{\VV}{\V_V}
\newcommand{\modelAss}[1][\assign]{\models_{#1}}
\newcommand{\subst}{\sigma}
\newcommand{\vx}{\vec{x}}
\newcommand{\vy}{\vec{y}}
\newcommand{\vz}{\vec{z}}
\newcommand{\vw}{\vec{w}}
\newcommand{\vd}{\vec{d}}
\newcommand{\vc}{\vec{c}}
\newcommand{\splitted}{\textsf{Split}}
\newcommand{\sld}{\textsf{SLD-Derive}}
\newcommand{\violates}{\textsf{Violates}}
\newcommand{\size}{\textsf{size}}
%\newcommand{\unfold}{\textsf{unfold}}



%%%%DA JAR%%%%%%%%%%%%%%%%%%%

\newcommand{\db}[1][\A]{{\mathit{db}({#1})}}
%\newcommand{\can}[1][\T_p,\A]{\mathit{can}(#1)}
%\newcommand{\cani}[1]{\mathit{can}_{#1}(\T_p,\A)}
\newcommand{\can}{\mathit{can}(\K)}
\newcommand{\canO}{\mathit{can}(\K,{\assignO})}
\newcommand{\cani}[1]{\mathit{can}_{#1}(\K)}
%\newcommand{\canii}[2]{\mathit{can}_{#1}(#2)}
\newcommand{\cln}[1][\T]{\mathit{cln}(#1)}
\newcommand{\PerfectRef}{\textsf{PerfectRef}\xspace}
\newcommand{\pr}{\mathit{PR}}
\newcommand{\Sat}{\textsf{Sat}\xspace}
\newcommand{\Answer}{\textsf{Answer}}
\newcommand{\alltuples}{\textit{AllTup}}
\newcommand{\vt}{\vec{t}}
\newcommand{\vo}{\vec{o}}
\newcommand{\vxi}{\vec{x'}}
\newcommand{\rep}[2]{\mathit{rep(#1,#2)}}
\newcommand{\directDIS}{\textsf{DirectDIS}}
\newcommand{\vfx}{\vec{f(x)}}
\newcommand{\vfy}{\vec{f(y)}}
\newcommand{\vfd}{\vec{f(d)}}







%%%updates
\newcommand{\updateM}[3][\T]{{#2}\text{\boldmath $\circ$}_{#1}{#3}}
\newcommand{\update}[3][\T]{{#2}\circ_{#1}{#3}}
\newcommand{\upmod}[3][\T]{U^{#1}({#2},{#3})}
\newcommand{\simdiff}{\ominus}
\newcommand{\resup}[3]{\mathit{ComputeUpdate}({#1},{#2},{#3})}
\newcommand{\appupdateshort}[0]{\mathit{ComputeUpdate^{app}}}
\newcommand{\appupdate}[3]{\mathit{ComputeUpdate^{app}}({#1},{#2},{#3})}
\newcommand{\resupshort}[0]{\mathit{ComputeUpdate}}
\newcommand{\sat}[3][\T]{\mathit{SatModel}({#1},{#2},{#3})}
\newcommand{\ALC}{\ensuremath{\mathcal{ALC}}}
\newcommand{\cl}[1]{\mathit{cl(#1)}}




%%%examples

\newcommand{\emp}{\textit{employee}\xspace}
\newcommand{\mgr}{\textit{manager}\xspace}
\newcommand{\worksfor}{\textit{WORKS-FOR}\xspace}
\newcommand{\tempemp}{\textit{tempEmp}\xspace}
\newcommand{\until}{\textsf{until}\xspace}
\newcommand{\proj}{\textit{project}\xspace}
\newcommand{\manages}{\textit{MANAGES}\xspace}
\newcommand{\xsddate}{\texttt{xsd:date}\xspace}
\newcommand{\palmieri}{\textbf{Palm}\xspace}
\newcommand{\lenz}{\textbf{Lenz}\xspace}
\newcommand{\projquonto}{\textbf{DIS-1212}\xspace}
\newcommand{\projtones}{\textbf{FP6-7603}\xspace}
\newcommand{\projname}{\textsf{projName}\xspace}
\newcommand{\pname}{\textsf{persName}\xspace}
\newcommand{\xsdstring}{\texttt{xsd:string}\xspace}
\newcommand{\pid}{\textbf{pid}\xspace}
\newcommand{\personSSN}{\textbf{personSSN}\xspace}
\newcommand{\person}{\textit{person}\xspace}
\newcommand{\term}{\textsl{25-09-05}\xspace}
\newcommand{\quontoname}{\textsl{QuOnto}\xspace}
\newcommand{\tonesname}{\textsl{Tones}\xspace}
\newcommand{\lenznid}{\textsl{Lenz}\xspace}
\newcommand{\lenzname}{\textsl{Lenzerini}\xspace}
\newcommand{\nardnid}{\textsl{Abit}\xspace}
\newcommand{\nardname}{\textsl{Abiteboul}\xspace}
\newcommand{\ssna}{\textsl{20903}\xspace}
\newcommand{\salarya}{\textsl{1000}\xspace}
\newcommand{\namea}{\textsl{Palmieri}\xspace}
\newcommand{\nameb}{\textsl{Parker}\xspace}
\newcommand{\ssnb}{\textsl{55577}\xspace}
\newcommand{\ssnc}{\textsl{29767}\xspace}

\newcommand{\projectbf}{\textbf{proj}\xspace}
%\newcommand{\personSSN}{\textbf{person}\xspace}
\newcommand{\personbf}{\textbf{pers}\xspace}
%\newcommand{\oid}{\textbf{manager}\xspace}
\newcommand{\managerbf}{\textbf{mgr}\xspace}

%%%%%%%%PROTOTYPE%%%%%%%%%%%%%

\newcommand{\QuOnto}{\textrm{QuOnto}\xspace}
\newcommand{\styx}{\textrm{StyX}\xspace}
\newcommand{\carin}{\textrm{CARIN}\xspace}
\newcommand{\picsel}{\textrm{PICSEL}\xspace}
\newcommand{\xperanto}{\textrm{XPeranto}\xspace}
\newcommand{\silkroute}{\textrm{SilkRoute}\xspace}
\newcommand{\agora}{\textrm{Agora}\xspace}
\newcommand{\infomix}{\textrm{INFOMIX}\xspace}
\newcommand{\disatdis}{\textrm{DIS@DIS}\xspace}

%% Per AAAI07 -- Erasure

\newcommand{\kerasure}[3][\T]{{#2}{\bullet}_{#1}{#3}}
\newcommand{\werasure}[3][\T]{{#2}{\bullet^{W}}_{#1}{#3}}

%\newcommand{\KK}{\text{\boldmath $\mathcal{K}$}}
%\newcommand{\TT}{\text{\boldmath $\mathcal{T}$}}
%\newcommand{\FF}{\text{\boldmath $\mathcal{F}$}}

\newcommand{\reser}[3]{\mathit{ComputeErasure}({#1},{#2},{#3})}
%\newcommand{\sat}[3][\T]{\mathit{SatModel}({#1},{#2},{#3})}

%\newcommand{\ALC}{\ensuremath{\mathcal{ALC}}}

\newcommand{\apperaseshort}[0]{\mathit{ComputeErasure^{app}}}
\newcommand{\apperasure}[3]{\mathit{ComputeErasure^{app}}({#1},{#2},{#3})}

%%%%%%%%%%%%DEMOVLDB%%%%%%%%%%%%%%%%%%%%%
\newcommand{\abox}{\langle\Ss,\M\rangle}
%\newcommand{\quonto}[1]{\mathsf{QuOnto({#1})}\xspace}


\newcommand{\stud}{\textit{student}}
\newcommand{\pers}{\textit{person}}
\newcommand{\prof}{\textit{professor}}
\newcommand{\enro}{\textit{enrolled}}
\newcommand{\cour}{\textit{course}}
\newcommand{\caname}{\textbf{name}}
\newcommand{\cafname}{\textbf{fname}}
\newcommand{\caavg}{\textbf{avg}}
\newcommand{\rayear}{\textbf{year}}
\newcommand{\studfunc}{\textsf{st}}
\newcommand{\proffunc}{\textsf{pr}}
\newcommand{\courfunc}{\textsf{cr}}

\newcommand{\protege}{Prot\'eg\'e\xspace}
